Probabilistic model checking of complex biological pathways

Probabilistic model checking is a formal verification technique that has been successfully applied to the analysis of systems from a broad range of domains, including security and communication protocols, distributed algorithms and power management. In this paper we illustrate its applicability to a complex biological system: the FGF (Fibroblast Growth Factor) signalling pathway. We give a detailed description of how this case study can be modelled in the probabilistic model checker PRISM, discussing some of the issues that arise in doing so, and show how we can thus examine a rich selection of quantitative properties of this model. We present experimental results for the case study under several different scenarios and provide a detailed analysis, illustrating how this approach can be used to yield a better understanding of the dynamics of the pathway

БЕЗПЕКООРІЄНТОВАНИЙ ПІДХІД ДО ФОРМУВАННЯ СИСТЕМИ СТРАХУВАННЯ ДЕПОЗИТІВ: ВІТЧИЗНЯНИЙ I СВІТОВИЙ ДОСВІД

The main principles of functioning of the deposit insurance system in world practice, its preconditions, defining characteristics, place and role in providing financial security of the country are considered in the article. The basic principles of effective deposit insurance systems, which correspond to the international experience and cover such basic elements as: 1) functioning of formalized with limited coverage of deposit insurance systems; 2) a set of institutions that ensure the effective functioning of deposit insurance systems; 3) deposit insurance system as a link in ensuring the financial security of the country, supported by prudential regulation, supervision and control. The quantitative parameters of deposit insurance in EU countries are analyzed and a single approach to determining the level of financial resources for the deposit insurance system of 0.80% of the volume of insured deposits is established, and its minimum value may be at least 0.50% in individual countries in agreement with EU. The problems of formation and use of financial resources in the domestic deposit guarantee system are outlined. It is substantiated that not only the mechanism of formation of financial resources, but also the level of their use, the amount of insurance coverage and compensation is an important element of the functioning of deposit guarantee systems. It is noted that the deposit insurance system in Ukraine requires reform in the direction of ensuring financial stability and approximation to European practices. Deposit insurance in domestic practice exists indirectly and is based on reservations, depending on the deposit base of banking institutions and the currency of the deposit. The main threats and dangers of the financial security of Ukraine in the area of deposit guarantee were identified, in particular, the insufficiency of the amounts of possible reimbursement at the expense of FGIF funds to the total amount of deposits, the reduction of the total number of depositors of individuals and the need to increase the maximum amount of insurance indemnity towards compliance with the requirements of EU accession. Proposed directions for reforming the deposit guarantee system in Ukraine from security positions are proposed based on adherence to the principles of effective deposit insurance systems defined by the Basel Committee on Banking Supervision and specified by the International Association of Deposit Insurance (IADI).Розглянуто основні засади функціонування системи страхування депозитів у світовій практиці, її передумови, визначальні характеристики, місце i роль у забезпеченні фінансової безпеки країни. Виокремлено основоположні засади ефективних систем страхування депозитів, які відповідають міжнародному досвіду і охоплюють такі основні елементи, як: 1) функціонування формалізованих з обмеженим покриттям систем страхування депозитів; 2) сукупність інституцій, які забезпечують ефективне функціонування систем страхування депозитів; 3) система страхування вкладів як ланка у забезпеченні фінансової безпеки країни, підкріплена пруденційним регулюванням, наглядом і контролем. Проаналізовано кількісні параметри страхування депозитів у країнах ЄС i констатовано єдиний підхід до визначення рівня фінансових ресурсів для системи страхування вкладів у розмірі 0,80 % від обсягу застрахованих депозитів, а мінімальне його значення може становити не менше нiж 0,50 % в окремих країнах за узгодженням з ЄС. Окреслено проблемні аспекти формування і використання фінансових ресурсів у вітчизняній системі гарантування вкладів. Обґрунтовано, що важливим елементом функціонування систем гарантування депозитів є не лише механізм формування фінансових ресурсів, а й рівень їх використання, розмір страхового покриття i відшкодування. Зазначено, що система страхування вкладів в Україні вимагає реформування в напрямі забезпечення фінансової стабільності й наближення до європейських практик. Страхування депозитів у вітчизняній практиці існує в непрямому варіанті і базується на резервуванні залежно від депозитної бази банківських установ і валюти вкладу. Виявлено основні загрози і небезпеки фінансовій безпеці України у сфері гарантування депозитів, зокрема недостатність сум можливого відшкодування за рахунок коштів ФГВФО до загальної суми вкладів, скорочення загальної кількості вкладників фізичних осіб та необхідність підвищення максимального розміру страхового відшкодування в напрямі дотримання вимог вступу до ЄС. Запропоновано перспективні напрями реформування системи гарантування вкладів в Україні з позицій безпеки на основі дотримання принципів формування ефективних систем страхування депозитів, визначених Базельським комітетом з питань банківського нагляду та уточнених Міжнародною асоціацією страхування депозитів (IADI)

ГОСТРА ТОКСИЧНІСТЬ 4-КАРБОКСИМЕТИЛПІРИДИНІЮ ГЕКСАФТОРОСИЛІКАТУ

Мета роботи. Вивчення токсикометричних характеристик 4-карбоксиметилпіридинію гексафторосилікату як потенційного антbкарієсного  препарату в гострому експерименті на щурах при пероральному введенні. Матеріали і методи. Проведено дослідження гострої токсичності 4-карбоксиметилпіридинію гексафторосилікату на 48 щурах-самцях лінії Вістар масою 180–200 г. Основним критерієм кількісної характеристики токсичності 4-карбоксиметилпіридинію гексафторосилікату була ЛД50, яка визначалася з використанням методу найменших квадратів. Розраховано такі показники небезпеки: 1/ЛД50 – обернена величина середньосмертельної дози (абсолютна токсичність), ЛД84/ЛД16 – діапазон смертельних доз (зона гострої токсичної дії), 1/(ЛД50 – S) – сумарний показник токсичності та S – функція кута нахилу (варіабельність смертельних доз). Статистичну обробку отриманих результатів проводили з використанням програми «StatPlus 2009» (компанія AnalystSoft, США, 2009). Результати й обговорення. Результати визначення гострої токсичності 4-карбоксиметилпіридинію гексафторосилікату показують, що ця сполука при пероральному шляху введення належить до III класу токсичності (помірно токсичні сполуки). З огляду на варіабельність смертельних доз, вивчений гексафторосилікат можна зарахувати до сполук, які не становлять високої потенційної небезпеки виникнення та розвитку отруєння. Розрахункові показники токсичності та небезпеки 4-карбоксиметилпіридинію гексафторосилікату показують, що він не становить особливої небезпеки і для людини.  Висновки. Гостра токсичність 4-карбоксиметилпіридинію гексафторосилікату в експерименті на щурах при пероральному шляху введення становить 481,28 мг/кг, що дозволяє віднести це похідне до III класу токсичності (помірно токсичні сполуки)

Process algebra modelling styles for biomolecular processes

We investigate how biomolecular processes are modelled in process algebras, focussing on chemical reactions. We consider various modelling styles and how design decisions made in the definition of the process algebra have an impact on how a modelling style can be applied. Our goal is to highlight the often implicit choices that modellers make in choosing a formalism, and illustrate, through the use of examples, how this can affect expressability as well as the type and complexity of the analysis that can be performed

Evaluation of the acute toxicity of cetylpyridinium hexafluorosilicate

В работе исследованы токсикометрические характеристики цетилпиридиния гексафторосиликата в остром эксперименте при его пероральном введении крысам. Изучение острой токсичности проведено на 48 крысах линии Вистар массой 180–220 г обоего пола. Полученные данные показали, что по вариабельности смертельных доз цетилпиридиния гексафторосиликат можно отнести к соединениям, которые не имеют высокой потенциальной опасности возникновения и развития отравления. С этими данными в полной мере коррелируют и величины суммарного показателя токсичности. Расчетные показатели токсичности и опасности цетилпиридиния гексафторосиликата для человека показывают, что он не представляет особой опасности. Об этом свидетельствуют достаточно низкие значения среднесмертельной дозы, абсолютной токсичности, суммарного показателя токсичности и достаточно высокие значения зоны острого токсического действия цетилпиридиния гексафторосиликата при пероральном пути введения.In order to expand the possibilities of using onium hexafluorosilicates as cariespreventive agents we carried out synthesis and studied structure of some properties of biologically active hexafluorosilicates with chlorhexidine, cetylpyridine and guanidine containing cations, which have antibacterial activity. Since the primary task in finding and developing new medicines is the study of the safety of biologically active substances in terms of its single or multiple injection, so the aim of this research was to study the characteristics of cetylpyridinium hexafluorosilicate toxicometry under acute experiment during its oral administration to rats

Analysis of the draft law on increasing the financial security of police officers: domestic and foreign experience of legislative initiatives

Безпалько, С. В. Аналіз законопроєктної бази щодо підвищення грошового забезпечення поліцейських: вітчизняний та зарубіжний досвід законодавчих ініціатив [Електронний ресурс] / Безпалько С. В., Шатрава С. О., Тимчишин А. М., Кріцак І. В. // Юридичний науковий електронний журнал. - 2022. - № 3. - С. 57-65. - Режим доступу : http://lsej.org.ua/3_2022/11.pdf.Узагальнено науковий та нормативно-правовий матеріал щодо грошового забезпечення поліцейських. Опрацьовано зарубіжний досвід встановлення грошових надбавок поліцейським, інших гарантій та заохочень. Наголошено на необхідності детального аналізу та відшукання інших позитивних зарубіжних практик заохочення поліцейських, що є гідним стимулом їх службової діяльності. В якості авторських пропозицій запропоновано духовно-ціннісні аспекти гуманізації поліцейського та трудового законодавства шляхом запровадження та запозичення кращих світових практик.The scientific and regulatory material on the financial support of police officers is summarized. The foreign experience of establishing monetary allowances for police officers, other guarantees and incentives was developed. The need for a detailed analysis and finding other positive foreign practices of encouraging police officers, which is a worthy incentive for their official activities, is emphasized. Spiritual and valuable aspects of humanizing police and labor legislation by introducing and borrowing the best world practices are proposed as author's proposals.Обобщены научный и нормативно-правовой материал по денежному обеспечению полицейских. Проработан зарубежный опыт установления денежных надбавок полицейским, других гарантий и поощрений. Отмечена необходимость детального анализа и отыскания других позитивных зарубежных практик поощрения полицейских, что является достойным стимулом их служебной деятельности. В качестве авторских предложений предложены духовно ценностные аспекты гуманизации полицейского и трудового законодательства путем внедрения и заимствования лучших мировых практик

Specifics of european integration processes in agricultural sphere and modern socio-economic trends and criminal threats in Ukrainian society: regional and national aspects

Безпалько, С. В. Особливості євроінтеграційних процесів у сільськогосподарській сфері та сучасні соціально-економічні тенденції і криміногенні загрози в українському суспільстві: регіональний та загальнодержавний аспекти / Безпалько С. В., Шатрава С. О., Тимчишин А. М., Кріцак І. В. // Юридичний науковий електронний журнал. - 2022. - № 1. - С. 14-19. - Режим доступу : http://lsej.org.ua/1_2022/1.pdf.Узагальнено глобальні виклики та загрози основному багатству України – землі. Виявлено криміногенні фактори соціально-економічних процесів сучасного соціуму. Особливу увагу акцентовано на цифровізації економіки. Передбачено майбутні тенденції переселення народів із міст до сільської місцевості в разі загроз об’єктам критичної інфраструктури. Наголошено на проблемах і перспективах розвитку міста, надано пропозиції подолання злочинності в містах. Зазначено, що правове регулювання економіки особливо впливає на політичні процеси держави і визначає, які партійні платформи займуть місце в наступних виборчих перегонах. Нинішній електорат може побоюватись посилення покарання за корупційно-злочинні схеми, що спричинить прихід до влади опозиції з регіоналістсько-радикальними настроями політичних сил та ідеології. Постійна політика розкрадання економічних ресурсів за таких умов стане неможливою. Визнано, що традиційні форми господарювання стають нерентабельними. Важливими є розроблення та впровадження ефективних управлінських рішень у різних галузях народного господарства.In the article on the basis of an interdisciplinary method of scientific research an attempt is made to generalize global challenges and threats to the main wealth of Ukraine – the earth. Criminogenic factors of socio-economic processes of modern society are revealed. Particular attention accended on the digitalization of the economy. Future trends of relocation of folks from urban to rural areas in case of threats to critical infrastructure are foreseen. Is emphasized on the problems and prospects of the city development suggestions are attached for overcoming crime in cities. Except this, it is emphasized that the legal regulation of the economy especially aggects on the political processes of the state and determines which party platforms will take place in the next election derby. The current electorate may fear an increasing punishment for corrupt and criminal schemes, which will lead to the coming to power of the opposition with regionalist-radical sentiments of political forces and ideology. Continual policy of embezzling economic resources, under such circumstances, will become impossible. On the other side, it is emphasized that radical transformations of all spheres of social life are possible provided stable economy, taking into account the possibilities of total informatization and unprofitable. As we can see, traditional forms of management are becoming farms. Large transcorporations are created, which give the opportunity for a significantly increase the efficiency of various types of production, technologies, equipment. Under such conditions, it is important to develop and implement effective management decisions in various sectors of the national economy.Обобщены глобальные вызовы и угрозы основному богатству Украины – земле. Выявлены криминогенные факторы социально-экономических процессов современного социума. Особое внимание акцентировано на цифровизации экономики. Предусмотрены будущие тенденции переселения народов из городов в сельскую местность в случае угроз объектам критической инфраструктуры. Отмечены проблемы и перспективы развития города, предоставлены предложения преодоления преступности в городах. Отмечено, что правовое регулирование экономики особенно влияет на политические процессы государства и определяет, какие партийные платформы займут место в следующей избирательной гонке. Нынешний электорат может опасаться усиления наказания за коррупционно-преступные схемы, что повлечет за собой приход к власти оппозиции с регионалистско-радикальными настроениями политических сил и идеологии. Постоянная политика хищения экономических ресурсов в таких условиях станет невозможной. Признано, что традиционные формы становятся нерентабельными. Важны разработка и внедрение эффективных управленческих решений в различных отраслях народного хозяйства

БЕЗПЕКООРІЄНТОВАНИЙ ПІДХІД ДО ФОРМУВАННЯ СИСТЕМИ СТРАХУВАННЯ ДЕПОЗИТІВ: ВІТЧИЗНЯНИЙ I СВІТОВИЙ ДОСВІД

The main principles of functioning of the deposit insurance system in world practice, its preconditions, defining characteristics, place and role in providing financial security of the country are considered in the article. The basic principles of effective deposit insurance systems, which correspond to the international experience and cover such basic elements as: 1) functioning of formalized with limited coverage of deposit insurance systems; 2) a set of institutions that ensure the effective functioning of deposit insurance systems; 3) deposit insurance system as a link in ensuring the financial security of the country, supported by prudential regulation, supervision and control.The quantitative parameters of deposit insurance in EU countries are analyzed and a single approach to determining the level of financial resources for the deposit insurance system of 0.80% of the volume of insured deposits is established, and its minimum value may be at least 0.50% in individual countries in agreement with EU. The problems of formation and use of financial resources in the domestic deposit guarantee system are outlined. It is substantiated that not only the mechanism of formation of financial resources, but also the level of their use, the amount of insurance coverage and compensation is an important element of the functioning of deposit guarantee systems.It is noted that the deposit insurance system in Ukraine requires reform in the direction of ensuring financial stability and approximation to European practices. Deposit insurance in domestic practice exists indirectly and is based on reservations, depending on the deposit base of banking institutions and the currency of the deposit.The main threats and dangers of the financial security of Ukraine in the area of deposit guarantee were identified, in particular, the insufficiency of the amounts of possible reimbursement at the expense of FGIF funds to the total amount of deposits, the reduction of the total number of depositors of individuals and the need to increase the maximum amount of insurance indemnity towards compliance with the requirements of EU accession.Proposed directions for reforming the deposit guarantee system in Ukraine from security positions are proposed based on adherence to the principles of effective deposit insurance systems defined by the Basel Committee on Banking Supervision and specified by the International Association of Deposit Insurance (IADI).Рассмотрены основные принципы функционирования системы страхования депозитов в мировой практике, ее предпосылки, определяющие характеристики, место и роль в обеспечении финансовой безопасности. Проанализированы количественные параметры страхования депозитов в странах ЕС и определены проблемные аспекты формирования и использования финансовых ресурсов в отечественной системе гарантирования вкладов. Выявлены основные угрозы и опасности финансовой безопасности Украины в сфере гарантирования депозитов и предложены перспективные направления ее реформирования на основании мирового опыта.Розглянуто основні засади функціонування системи страхування депозитів у світовій практиці, її передумови, визначальні характеристики, місце i роль у забезпеченні фінансової безпеки країни. Виокремлено основоположні засади ефективних систем страхування депозитів, які відповідають міжнародному досвіду і охоплюють такі основні елементи, як: 1) функціонування формалізованих з обмеженим покриттям систем страхування депозитів; 2) сукупність інституцій, які забезпечують ефективне функціонування систем страхування депозитів; 3) система страхування вкладів як ланка у забезпеченні фінансової безпеки країни, підкріплена пруденційним регулюванням, наглядом і контролем.Проаналізовано кількісні параметри страхування депозитів у країнах ЄС i констатовано єдиний підхід до визначення рівня фінансових ресурсів для системи страхування вкладів у розмірі 0,80 % від обсягу застрахованих депозитів, а мінімальне його значення може становити не менше нiж 0,50 % в окремих країнах за узгодженням з ЄС. Окреслено проблемні аспекти формування і використання фінансових ресурсів у вітчизняній системі гарантування вкладів. Обґрунтовано, що важливим елементом функціонування систем гарантування депозитів є не лише механізм формування фінансових ресурсів, а й рівень їх використання, розмір страхового покриття i відшкодування.Зазначено, що система страхування вкладів в Україні вимагає реформування в напрямі забезпечення фінансової стабільності й наближення до європейських практик. Страхування депозитів у вітчизняній практиці існує в непрямому варіанті і базується на резервуванні залежно від депозитної бази банківських установ і валюти вкладу.Виявлено основні загрози і небезпеки фінансовій безпеці України у сфері гарантування депозитів, зокрема недостатність сум можливого відшкодування за рахунок коштів ФГВФО до загальної суми вкладів, скорочення загальної кількості вкладників фізичних осіб та необхідність підвищення максимального розміру страхового відшкодування в напрямі дотримання вимог вступу до ЄС.Запропоновано перспективні напрями реформування системи гарантування вкладів в Україні з позицій безпеки на основі дотримання принципів формування ефективних систем страхування депозитів, визначених Базельським комітетом з питань банківського нагляду та уточнених Міжнародною асоціацією страхування депозитів (IADI)

Simulation and verification for computational modelling of signalling pathways

Modelling of the dynamics of biochemical reaction networks typically proceeds by solving ordinary differential equations or stochastic simulation via the Gillespie algorithm. More recently, computational methods such as process algebra techniques have been successfully applied to the analysis of signalling pathways. One advantage of these is that they enable automatic verification of the models, via model checking, against qualitative and quantitative temporal logic specifications, for example, "what is the probability that the protein eventually degrades?". Such verification is exhaustive, that is, the analysis is carried out over all paths, producing exact quantitative measures. In this paper, we give an overview of the simulation, verification and differential equation approaches to modelling biochemical reaction networks. We discuss the advantages and disadvantages of the respective methods, using as an illustration a fragment of the FGF signalling pathway. © 2006 IEEE